Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
661	Joseph MuscatLogic Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2014-08-12 07:28:59 Propositional calculus Logical truth Formal languages Philosophy of language Substitution Symbol Function Proposition Linear temporal logic Logic Mathematics Mathematical logic
662	Vol. 6, No. 9, Special Issue: TOOLS EUROPE 2007, 2007 Reuseware – Adding Modularity to Your Language of Choice Jakob Henriksson Fakultät für Informatik, Technische Universität Dresden Jendrik Johannes Fakultät fü Add to Reading List Source URL: steffen-zschaler.de Language: English - Date: 2007-09-26 05:15:48 Formal languages Aspect-oriented software development Computer languages Compiler construction Philosophy of language Context-free grammar Programming language Aspect-oriented programming SQL Computing Software development Software engineering
663	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics
664	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-07-29 10:40:50 Applied mathematics Computing Formal verification Model checking Programming tool Programming language Exception handling Device driver synthesis and verification Computer-aided software engineering Formal methods Logic in computer science Theoretical computer science
665	Commutative closures of regular languages Commutative closures of regular languages Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:33:58 Formal languages Semigroup theory Monoid Free monoid Trace monoid Regular language Trace theory Abstract algebra Category theory Mathematics
666	A lexical analyzer generator for Standard ML. Version 1.6.0, October 1994 Andrew W. Appel1 James S. Mattson David R. Tarditi2 1 Add to Reading List Source URL: mlton.org Language: English - Date: 2014-02-17 13:56:37 Formal languages Compiler construction Parser generators Compiling tools Lex Standard ML String Regular expression Compiler Software engineering Computing Programming language implementation
667	The Definitive ANTLR 4 Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-09-15 16:49:53 Software engineering Software Formal languages ANTLR Compiler construction Compiler-compiler Recursive descent parser Left recursion Top-down parsing Programming language implementation Parser generators Parsing
668	Language-Based Verification Will Change The World Tim Sheard Aaron Stump Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Type theory Logic in computer science Functional languages Data types Formal methods Formal verification Dependent type Isabelle Agda Software engineering Programming language theory Computing
669	The Definitive ANTLR Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2011-04-08 15:42:06 Software Compiler construction Formal languages ANTLR Syntactic predicate Compiler-compiler Irony LL parser Lookahead Programming language implementation Parser generators Parsing
670	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:45:56 Type theory Data types Formal languages Procedural programming languages Program analysis Type system Type safety C++ Expr Software engineering Computing Computer programming

UPDATE